(0 17 15)(1 18 10)(2 19 4)(3 7 5)(6 11 9)(8 16 14)(12 20 13)
ALLOWS (11/8)-SEQUENCE
1: (7 12 20)
(0 17 15)(1 18 10)(2 19 4)(3 7 13 12 5)(6 11 9)(8 16 14)(20)
2: (1 18 10)
(0 17 15)(1)(2 19 4)(3 7 13 12 5)(6 11 9)(8 16 14)(10)(18)(20)
3: (6 11 9)
(0 17 15)(1)(2 19 4)(3 7 13 12 5)(6)(8 16 14)(9)(10)(11)(18)(20)
4: (3 7 13)
(0 17 15)(1)(2 19 4)(3 12 5)(6)(7)(8 16 14)(9)(10)(11)(13)(18)(20)